$\forall$$M$:MsgA. $M$ $\parallel$ $M$